1. Advanced dynamic modeling of economic and social systems
پدیدآورنده: Araceli N. Proto, Massimo Squillante, and Janusz Kacprzyk (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Economics -- Mathematical models.,Économie politique -- Modèles mathématiques.,Social systems -- Mathematical models.
2. Advanced topics on cellular self-organizing nets and chaotic nonlinear dynamics to model and control complex systems
پدیدآورنده:
کتابخانه: کتابخانه دانشکدگان فارابی دانشگاه تهران (قم)
موضوع:
رده :
QA
267
.
7
.
A38
2008
3. Advanced topics on cellular self-organizing nets and chaotic nonlinear dynamics to model and control complex systems
پدیدآورنده: / edited by Riccardo Caponetto, Luigi Fortuna, Mattia Frasca
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Computational complexity,Nonlinear systems, Mathematical models,Self-organizing maps,System theory, Mathematical models
رده :
E-BOOK
4. Advances in Computing and Data Sciences :
پدیدآورنده: edited by Mayank Singh, P.K. Gupta, Vipin Tyagi, Jan Flusser, Tuncer Ören, Rekha Kashyap.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science, Congresses.,Computer science.
رده :
QA75
.
5
5. Algebras and Orders
پدیدآورنده: edited by Ivo G. Rosenberg, Gert Sabidussi.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Algebra.,Computational complexity.,Mathematics.
رده :
QA251
.
E358
1993
6. Algorithms and complexity :
پدیدآورنده: Pinar Heggernes (ed.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Algorithms, Congresses.,Computational complexity, Congresses.,Algorithms.,Computational complexity.
رده :
QA76
.
9
.
A43
7. Algorithms and complexity in mathematics, epistemology, and science :
پدیدآورنده: editors, Ncolas Fillion, Robert M. Corless and Ilias S. Kotsireas.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Algorithms, Congresses.,Complexity (Philosophy), Congresses.,Mathematics, Congresses.,Science-- Mathematics, Congresses.,Technological complexity, Congresses.,Algorithms.,Complexity (Philosophy),MATHEMATICS-- Numerical Analysis.,Mathematics.,Science-- Mathematics.,Technological complexity.
رده :
QA9
.
58
8. An introduction to the planning domain definition language /
پدیدآورنده: Patrik Haslum, Nir Lipovetzky, Daniele Magazzeni, Christian Muise.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Computational complexity.,Artificial intelligence.,Computational complexity.,COMPUTERS / Computer Literacy.,COMPUTERS / Computer Science.,COMPUTERS / Data Processing.,COMPUTERS / Hardware / General.,COMPUTERS / Information Technology.,COMPUTERS / Machine Theory.,COMPUTERS / Reference.
رده :
Q335
.
H37
2019
9. Analytics and optimization for renewable energy integration /
پدیدآورنده: Ning Zhang, Chongqing Kang, Ershun Du, Yi Wang.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Renewable energy sources.,Renewable resource integration.,Renewable energy sources.,Renewable resource integration.,SCIENCE-- Energy.,TECHNOLOGY & ENGINEERING-- Mechanical.,TECHNOLOGY-- Electricity.
رده :
TJ808
10. Applied Decision-Making :
پدیدآورنده: editors, Mauricio A. Sanchez, Leocundo Aguilar, Manuel Castañón-Puga and Antonio Rodríguez.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Decision making-- Mathematical models.,Decision making-- Simulation methods, Case studies.,Decision making-- Mathematical models.,Decision making-- Simulation methods.,SCIENCE-- System Theory.,TECHNOLOGY & ENGINEERING-- Operations Research.
رده :
QA279
.
4
11. Applied deep learning :
پدیدآورنده: Umberto Michelucci.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Machine learning.,Neural networks (Computer science),Computer programming-- software development.,COMPUTERS-- General.,Databases.,Machine learning.,Neural networks (Computer science),Program concepts-- learning to program.,Programming & scripting languages: general.
رده :
Q325
.
5
12. Audio-visual tracking of multiple moving speakers
پدیدآورنده: Kilic, V.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع:
13. Automata, languages and programming :
پدیدآورنده: J. Leach Albert, B. Monien, M. Rodríguez Artalejo (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Machine theory -- Congresses.,Machine theory.
رده :
QA267
.
J543
1991
14. Automata, languages and programming :
پدیدآورنده: ICALP 93. A. Lingas ... (ed.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Lund <1993>,Theoretische Informatik.
15. Automation of Reasoning :
پدیدآورنده: edited by Jörg H. Siekmann, Graham Wrightson.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.
رده :
QA76
.
9
.
A96
E358
1983
16. Bounded variable logics and counting
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Model theory. ; Computational complexity. ;
17. Bounded variable logics and counting
پدیدآورنده: / Martin Otto
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Model theory.,Computational complexity.
رده :
QA
,
9
.
7
,.
O88
,
1997
18. Bounded variable logics and counting : a study in finite models
پدیدآورنده: Otto, Martin, 1691-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Model theory,، Computational complexity
رده :
QA
9
.
A1L44
Vol
.
9
19. COMPSTAT
پدیدآورنده: edited by Roger Payne, Peter Green.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Management information systems.,Statistics.
20. Cellular Automata and Cooperative Systems
پدیدآورنده: edited by Nino Boccara, Eric Goles, Servet Martinez, Pierre Picco.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computational complexity.,Information theory.,Physics.
رده :
Q334
.
E358
1993
